/* For inclusion by THORDB.C, file generated pseudoautomatically
   on January 5, 2002 using FREQUENCY_ANALYSIS=1 in THORDB.H.
*/



#define  THOR_NODE_COUNT      2545
#define  THOR_LINE_COUNT      741


typedef struct {
  int first_unique;
  int frequency;
  const char *move_str;
} ThorOpening;


ThorOpening thor_opening_list[THOR_LINE_COUNT] = {
 {  0,     39, "f5f6d3g5e6" },
 {  3,     34,       "f4e6" },
 {  2,     52,     "c4g5e6" },
 {  3,     48,       "f4e6" },
 {  2,     48,     "e6f4c3e7f3e3d3e2" },
 {  5,     52,           "d7e3d6e7c5" },
 {  6,     34,             "f3d6g5g4e3g6e7g3f7f8" },
 { 11,     41,                       "h5" },
 { 11,     41,                       "g3" },
 { 11,     38,                       "e2" },
 { 10,     34,                     "g6" },
 {  9,     39,                   "e3g4c4d3d2" },
 {  6,     36,             "e7d6" },
 {  5,     35,           "d6f3c5g4h3h5g3" },
 {  9,     33,                   "g3h3c4" },
 { 10,     47,                     "e7f7" },
 { 11,     42,                       "d7g5" },
 {  7,     44,               "c4c5b6g4" },
 { 10,     38,                     "c6b5" },
 {  9,     48,                   "b4a5a3c6b5a6b6g4e3" },
 { 16,     39,                                 "g5e3b3" },
 { 15,     34,                               "e3b3" },
 { 16,     44,                                 "d3" },
 { 13,     35,                           "b3e3" },
 { 14,     33,                             "g5e3" },
 { 10,     52,                     "c6b5" },
 {  7,     37,               "e3d3c6" },
 {  6,     36,             "g5" },
 {  5,     36,           "c6d6" },
 {  5,     49,           "c5" },
 {  5,     34,           "c4d3c6" },
 {  7,     41,               "c5" },
 {  4,     48,         "d3e7f3e3" },
 {  5,     33,           "d7" },
 {  5,     42,           "d6f3" },
 {  6,     37,             "g5" },
 {  4,     41,         "e3d7g4f3" },
 {  5,     89,           "d6c4f3g3c3c5" },
 {  8,     46,                 "g4e2" },
 {  7,     35,               "e2d7c6f7d3g6" },
 {  6,     36,             "g4d3c3h3c4g3g5g6c7c6h5f3h4h6" },
 { 14,     36,                             "e7d7h5f3h4h6c6" },
 { 13,     35,                           "h4g6f3h6h5h2" },
 { 12,     33,                         "c6c5d7" },
 { 10,     33,                     "h4" },
 {  9,     50,                   "g3g5" },
 {  9,     36,                   "d2c4f3f2e2g3" },
 {  8,     44,                 "c4" },
 {  6,     62,             "c5f3g4e2" },
 {  6,     43,             "g5d3c4" },
 {  6,     34,             "c6c5e7" },
 {  6,     36,             "e7d7" },
 {  5,     40,           "c5c4e7g4g3g5f3g6" },
 { 10,     43,                     "g6" },
 { 10,     38,                     "d7d6f3" },
 { 11,     47,                       "g5b5d6g6" },
 { 12,     45,                         "e8" },
 {  9,     43,                   "f3g3d3d6b5c3c6" },
 { 10,     42,                     "g5d3c2" },
 { 12,     36,                         "d7" },
 {  8,     39,                 "b5d3" },
 {  9,     42,                   "e2f2c3d3" },
 { 11,     35,                       "d2f3g4g5d6g3" },
 { 16,     39,                                 "h3d3c6b3" },
 { 13,     49,                           "d3c3c2" },
 { 10,     44,                     "f3d3" },
 { 11,     34,                       "f2g4g5" },
 { 12,     54,                         "g5g4g6d6h3h5" },
 { 17,     40,                                   "d3d7f7c6" },
 { 10,     33,                     "g5g4" },
 {  8,     40,                 "g5" },
 {  8,     35,                 "c6d3" },
 {  9,     56,                   "e2f2d2f3" },
 { 10,     38,                     "f3g4g5d6" },
 { 11,     36,                       "d3c3d2e1c1f2g4" },
 { 17,     45,                                   "c2d1f1g6d6" },
 { 11,     40,                       "f2g4g5" },
 { 12,     36,                         "g5g4g6d6h3h5g3c3d3b3" },
 {  8,     43,                 "f7" },
 {  7,     42,               "d7c6e2" },
 {  7,     34,               "d6b5d3c3" },
 {  8,     50,                 "c6" },
 {  7,     56,               "d3c3f2" },
 {  8,     34,                 "f3e2c3g4c6" },
 {  7,     49,               "e2b5e7" },
 {  8,     35,                 "g6" },
 {  6,     48,             "g4" },
 {  6,     44,             "g5d6g6h6" },
 {  9,     33,                   "g4" },
 {  9,     55,                   "f3" },
 {  7,     66,               "g4g6" },
 {  7,     34,               "g3c4" },
 {  8,     39,                 "g4d6f7" },
 {  9,     33,                   "f3c4d6e2h5h6h3h4h7g6f7" },
 { 10,     33,                     "g6d3f2h4e2h6c6d2b5f7h5e7d6" },
 { 15,     42,                               "d2" },
 { 14,     37,                             "h5h6e2" },
 {  8,     47,                 "g6f3d3e2" },
 {  7,     59,               "f3g4g6g3d6f7h5h4h3e7" },
 { 14,     48,                             "e7" },
 {  8,     78,                 "g6e7" },
 {  9,     38,                   "d7" },
 {  7,     35,               "d3g4" },
 {  8,     58,                 "d6f7" },
 {  9,     55,                   "g4c4" },
 {  8,     34,                 "g6" },
 {  6,     49,             "c6e7d3" },
 {  7,     35,               "d6g4" },
 {  8,     34,                 "e7d7c3" },
 {  7,     65,               "d3f3" },
 {  6,     34,             "g6f3g5" },
 {  5,     39,           "d3f3d7" },
 {  7,     70,               "c5c4" },
 {  8,     38,                 "g5g4" },
 {  7,     63,               "d2e2" },
 {  4,     52,         "f3c5c4" },
 {  6,     61,             "c6e3" },
 {  6,     38,             "f7" },
 {  4,     53,         "g3d6" },
 {  5,     52,           "f3" },
 {  4,     36,         "g4e7f7g5f3" },
 {  4,     34,         "g5e7e3g6d3c6c5f3g4h4h6h3f2" },
 {  9,     38,                   "c5d6c6d7" },
 { 12,     33,                         "f7h5c4" },
 { 13,     43,                           "c4e8g3" },
 { 15,     38,                               "d2c3" },
 { 16,     33,                                 "b5" },
 { 11,     52,                       "c4" },
 { 11,     40,                       "f3g4" },
 {  8,     34,                 "f3d6f7d3" },
 {  8,     33,                 "c5c6d6f3g4h3h4" },
 {  8,     34,                 "d6h5" },
 {  9,     34,                   "c4c5b5f7h5" },
 { 13,     59,                           "d3" },
 { 12,     48,                         "e8" },
 { 10,     33,                     "f7h5h4h3c5" },
 { 12,     35,                         "d7" },
 {  9,     48,                   "f3f7" },
 {  7,     36,               "d6d3g4g6h5h6h7h4h3c4f3c5c6d7b5" },
 { 16,     33,                                 "f7" },
 { 11,     56,                       "f3h3h5" },
 {  9,     33,                   "f3" },
 {  7,     39,               "g4d3c6d6" },
 { 10,     57,                     "g6h5h6" },
 { 11,     45,                       "f3h3c4" },
 {  9,     33,                   "c5d6" },
 { 10,     35,                     "g6f3h3c4g3h5h6h4f7c2d6" },
 { 14,     42,                             "f7" },
 {  8,     41,                 "f3d3c3" },
 {  7,     33,               "g3f3d6" },
 {  9,     38,                   "g4d3" },
 {  7,     38,               "f3d3c3f7d7d8g6" },
 { 13,     57,                           "c4d6" },
 { 14,     45,                             "c7" },
 {  9,     36,                   "e2g4" },
 {  8,     37,                 "c5c4g3c6d6d7c7g4" },
 {  9,     36,                   "d3g4g3g6" },
 {  6,     49,             "d7g6g4h5e3" },
 {  8,     50,                 "e8" },
 {  7,     41,               "d6f3g6g4" },
 {  9,     33,                   "g4e3" },
 {  9,     38,                   "g3e3g4" },
 {  8,     49,                 "c5" },
 {  6,     43,             "f7g6g4h5" },
 {  8,     98,                 "h5" },
 {  8,     42,                 "h6" },
 {  7,     33,               "d6d8" },
 {  8,     33,                 "e8h6" },
 {  7,     35,               "h5d3c6e3d7" },
 { 10,     51,                     "d7c4g4h4e3" },
 {  9,     39,                   "c4" },
 {  8,     61,                 "e3d3f3" },
 { 10,     37,                     "g4g6" },
 { 11,     38,                       "h4f3g6h3h2" },
 { 13,     81,                           "f2" },
 { 12,     45,                         "h3" },
 {  8,     46,                 "g4g6e3h4f3" },
 { 11,     36,                       "f3g3d6" },
 { 12,     41,                         "h3" },
 {  9,     45,                   "h4e3d6c3" },
 { 12,     36,                         "f3" },
 {  8,     45,                 "e8c5g4h4" },
 {  7,     71,               "c5f3g4" },
 {  9,     43,                   "g3h3h5g4" },
 {  8,     35,                 "e8h5g4" },
 {  5,     36,           "h6e3" },
 {  5,     36,           "g6g4e7e3f3" },
 {  8,     39,                 "f3d6f7h3" },
 {  8,     36,                 "f7h5e3" },
 {  7,     41,               "h6h5" },
 {  8,     37,                 "f7" },
 {  7,     37,               "c6" },
 {  6,     48,             "e7" },
 {  5,     43,           "d6e3g6f7h5" },
 {  6,     37,             "f3g6e7" },
 {  8,     87,                 "f7h5" },
 {  6,     53,             "c5" },
 {  6,     39,             "d7e7f3g6g4f7f8" },
 {  9,     44,                   "g4" },
 {  9,     34,                   "g3e3g4c6d2" },
 {  8,     44,                 "c5" },
 {  6,     48,             "e7g6c5c4f3h5f7g4h6h7d3" },
 { 10,     40,                     "d7f7" },
 { 10,     54,                     "f7f8d3" },
 {  7,     47,               "g4f3h5e3d3h3" },
 { 10,     48,                     "h6h7e3d3h3" },
 {  9,     33,                   "g3" },
 {  6,     44,             "f7g4f3h5h4h3g3" },
 { 10,     56,                     "h6h7c5g6" },
 {  5,     73,           "c6f3" },
 {  5,     43,           "h4" },
 {  4,     34,         "g6f7g5e7d6" },
 {  7,     40,               "h5" },
 {  5,     36,           "e7d6" },
 {  5,     35,           "d6e3f3g4g5d3e2c5" },
 {  9,     49,                   "d3g3" },
 {  8,     42,                 "g5" },
 {  7,     43,               "d3g4f3g3" },
 {  6,     34,             "g4f7e8h3" },
 {  7,     63,               "g5" },
 {  6,     36,             "c6e7f8" },
 {  5,     33,           "c6g4" },
 {  6,     39,             "c5" },
 {  6,     58,             "g5d6c5" },
 {  5,     52,           "c5f3" },
 {  6,     33,             "g4g5e3f3f2h4" },
 { 10,     66,                     "g3" },
 {  8,     34,                 "f3e3c4g3h5f7e7d3c2b4d2" },
 { 10,     34,                     "h5g3" },
 { 11,     34,                       "f2d3c3" },
 {  8,     67,                 "h4h6e3" },
 { 10,     57,                     "f3e3" },
 {  9,     47,                   "h3h2h6g3" },
 { 10,     59,                     "f3h5" },
 { 11,     55,                       "g3" },
 {  7,     46,               "h4" },
 {  4,     52,         "g7" },
 {  2,     49,     "f7" },
 {  1,     51,   "d6c3g5c6b6e6" },
 {  6,     46,             "f6e7" },
 {  5,     51,           "c5c4" },
 {  5,     35,           "d3e6" },
 {  4,     37,         "f6d3" },
 {  4,     49,         "g6" },
 {  3,     36,       "f4e6f3" },
 {  5,     42,           "d3" },
 {  4,     47,         "f6g5f3" },
 {  6,     39,             "e6e7" },
 {  7,     39,               "d7" },
 {  5,     38,           "c4e3" },
 {  5,     33,           "f3d3c4e3e2g4" },
 {  6,     34,             "e3" },
 {  5,     47,           "d3f3g4g3e6" },
 {  7,     33,               "b3c5" },
 {  6,     37,             "c4g5" },
 {  6,     39,             "c6" },
 {  3,     36,       "f3d3f4f6" },
 {  4,     40,         "f4d3c4" },
 {  3,     45,       "d3e3" },
 {  4,     46,         "c4b5b4f4" },
 {  5,     36,           "f4e3f6c6c5d7e7e6b6" },
 { 11,     57,                       "c7" },
 {  7,     34,               "f3g4f6g5" },
 {  9,     44,                   "g3" },
 {  9,     56,                   "e2d2" },
 {  8,     65,                 "e6f6g4" },
 {  9,     45,                   "c6" },
 {  9,     66,                   "b4" },
 {  6,     62,             "c5f6e3" },
 {  7,     56,               "b5b4" },
 {  7,     46,               "b4b3e6c6b5e3f2a6a5d7" },
 {  9,     55,                   "c6c2" },
 {  9,     40,                   "b5c6e6e3" },
 {  9,     35,                   "c2e3" },
 { 10,     33,                     "d7c7e3" },
 { 11,     36,                       "c6e6b5a5b6" },
 { 15,     38,                               "a6a3b6a4a2" },
 {  8,     55,                 "e3e6" },
 {  8,     57,                 "b5e6" },
 {  9,     33,                   "c6b3e6e3" },
 { 10,     46,                     "e3f3b3e6b6" },
 { 10,     34,                     "f3f6e3g4" },
 { 11,     33,                       "e6e3g6b6a5d7" },
 { 14,     49,                             "f6g5d7g3b6e7a5" },
 { 18,     36,                                     "e7e2g4" },
 { 18,     34,                                     "f7" },
 { 13,     41,                           "d2b6a5e7" },
 { 13,     33,                           "c2b6" },
 { 11,     45,                       "a5e3c2a4b3a6b6d2a3a2e1" },
 {  8,     47,                 "c6e6a3b3d2c2c1" },
 { 10,     44,                     "e3b5b6b3a6a5a3" },
 {  7,     38,               "b3c2f6a3b5b6e3f2e2b4" },
 {  9,     44,                   "e6b4f3e3e2g4d2g3" },
 { 12,     47,                         "g4" },
 { 11,     52,                       "d2e3" },
 { 10,     47,                     "c6b6b4f6g3b5a3e3" },
 { 11,     37,                       "b4b5d2a3a4a5" },
 { 14,     36,                             "e3a6c1d7e7" },
 { 17,     33,                                   "b6f3f6f7g5d7c7g4e1" },
 { 24,     35,                                                 "g6" },
 { 21,     60,                                           "e2d1f1" },
 { 21,     37,                                           "e1e2f1f2g5d7c7" },
 { 19,     35,                                       "e1e2f6f7" },
 { 17,     53,                                   "g4a5f3" },
 { 17,     41,                                   "f3g3" },
 { 17,     48,                                   "e1" },
 { 16,     33,                                 "c7f3" },
 { 14,    106,                             "f7c7f3" },
 { 16,     35,                                 "b6a6c8" },
 { 15,     34,                               "a6e3" },
 { 12,     42,                         "b6d2e3" },
 { 11,     34,                       "d2e3" },
 {  9,     38,                   "b4e3e6f3" },
 { 12,     35,                         "b6c6b5f6a5" },
 { 15,     37,                               "a6a5" },
 { 15,     33,                               "a4f3a6a3d2c1f6" },
 { 15,     40,                               "c1" },
 { 12,     37,                         "c6f6a5a4b5a6d7d8" },
 { 19,     55,                                       "c7e7e8b6f8g3f7" },
 { 23,     48,                                               "d8a2a7g3f3" },
 { 24,     34,                                                 "g3f7g5d2" },
 { 27,     33,                                                       "d1c1" },
 { 21,     38,                                           "b6f7e8" },
 { 14,     56,                             "d7b5e7c7b6f8" },
 { 13,     55,                           "g4f6b6a6e7" },
 { 16,     46,                                 "g6g5f3d7f7e7a3" },
 { 11,     34,                       "e2d2f3b6g6a5a4" },
 { 10,     33,                     "b5d2" },
 { 10,     36,                     "c6e6" },
 { 11,     43,                       "d2a3e6a4b5" },
 { 12,     51,                         "e3" },
 { 12,     36,                         "e6b5e3f3g4b6a6" },
 { 16,     36,                                 "a5g6g5h6g4h5" },
 { 17,     33,                                   "a6a3" },
 { 14,     37,                             "a5d7" },
 { 15,     33,                               "g6a4a3" },
 { 15,     34,                               "a6a3b6a4a2e3f3g4c1f2g3h4h3h2f1" },
 { 20,     35,                                         "g3g4e3f3h3" },
 { 16,     37,                                 "a7b6c7g5a2c1" },
 {  9,     33,                   "e3d2c6f2e6b4" },
 { 12,     34,                         "b4f6b5e6f2f3" },
 { 13,     38,                           "b5e2e6f3c1a6" },
 { 14,     34,                             "f2e6f3c1a3a4a5" },
 { 14,     41,                             "a3e2" },
 { 14,     39,                             "a6" },
 { 13,     36,                           "a4b5b6g4e2a3" },
 { 13,     48,                           "a3f2e6b5a4f3" },
 { 14,     42,                             "g3g4f3c1b5a4a6d1e2f2" },
 { 16,     41,                                 "b5" },
 { 15,     45,                               "f3e6e1d1c1" },
 { 14,     38,                             "g4f3e6f7g3c1" },
 { 18,     50,                                     "b5b6" },
 { 19,     33,                                       "a4a6" },
 { 11,     42,                       "b6b4" },
 { 11,     39,                       "b4c6g6f2" },
 { 13,     43,                           "e6b5" },
 {  9,     53,                   "d2e3" },
 { 10,     35,                     "e6b4g4" },
 {  9,     61,                   "d1a3" },
 {  8,     40,                 "d2c6b5e6b4" },
 { 10,     70,                     "b6b4b5e6c2" },
 {  9,     35,                   "e3c2b4" },
 { 10,     59,                     "b4" },
 {  8,     41,                 "e2e3c2" },
 { 10,     41,                     "d2b4" },
 {  6,     37,             "c6" },
 {  6,     50,             "e6f6e3c5g4" },
 { 10,     48,                     "c6b6c7b5d7e7" },
 { 14,     38,                             "e7" },
 { 12,     34,                         "d7" },
 { 11,     53,                       "b5d7e7b6" },
 {  7,     59,               "b4" },
 {  7,     41,               "b3c2e3d2c5b4" },
 { 11,     57,                       "b4c5c6d7b6" },
 {  8,     38,                 "d2e3" },
 {  8,     35,                 "e2c5c6" },
 {  9,     39,                   "e3f3c5b4a3" },
 {  6,     58,             "f6g5e3f3g4h3g3f2e6" },
 { 12,     36,                         "e6g3g6f7h5h4" },
 { 11,     47,                       "e2d2" },
 { 10,     34,                     "g6f7h6" },
 { 11,     36,                       "e2h5c5g4g3f2d2" },
 { 12,     38,                         "e6" },
 {  8,     33,                 "f3g6" },
 {  9,     44,                   "e3" },
 {  8,     34,                 "c6e3d7" },
 {  8,     50,                 "e6f7e3c5d7" },
 { 10,     38,                     "h5h6" },
 { 10,     34,                     "c6c5" },
 { 10,     39,                     "g6c5" },
 { 10,     57,                     "c7c5" },
 { 10,     34,                     "d7c5g3f3c6e7" },
 { 13,     36,                           "e3c6b4d2" },
 {  9,     40,                   "d7e3c5f3e7h5e2c6d2c2b3" },
 { 12,     42,                         "f7e7" },
 { 10,     43,                     "c7" },
 { 10,     36,                     "e7c5e3f3" },
 { 12,     50,                         "f3" },
 { 10,     43,                     "f7c5b6e3c6" },
 {  9,     55,                   "c5e3f3" },
 { 10,     61,                     "f3f7e7" },
 { 11,     63,                       "b5e3g4h4" },
 { 12,     37,                         "b4" },
 { 11,     38,                       "e3g4f7e7g6" },
 { 13,     43,                           "b5e2" },
 {  8,     41,                 "g6e3e6c5" },
 {  7,     52,               "b4c2" },
 {  8,     42,                 "f3e6e3g5g6g4h4h5h6g3h3" },
 {  7,     34,               "f3e3g5g4" },
 {  9,     34,                   "b4b5e6e7g5c5e2g6" },
 { 13,     39,                           "f2" },
 { 11,     38,                       "e2e6" },
 { 10,     39,                     "g5" },
 {  8,     54,                 "g4g5e3h3g3f2e6" },
 { 12,     33,                         "e6g3g6f7" },
 {  9,     37,                   "g3c5" },
 { 10,     43,                     "e6b3d2" },
 {  8,     42,                 "e6e7e3" },
 { 10,     39,                     "c6g6g5f7g3" },
 { 12,     34,                         "f8f7d2c5" },
 { 13,     43,                           "c5b4f7" },
 { 11,     33,                       "g5d2d7f8e8f7" },
 { 12,     36,                         "e3d7" },
 { 10,     34,                     "d7g6g5f7e2c8" },
 { 15,     33,                               "h6e3c8" },
 { 15,     37,                               "c5e3g3g4h5f8d2" },
 { 14,     40,                             "e8h6d2" },
 { 15,     36,                               "c5c6c8" },
 { 17,     35,                                   "h6d2c8c7" },
 { 17,     41,                                   "b6" },
 { 17,     43,                                   "g4d2c8" },
 { 14,     63,                             "f8h6" },
 { 13,     56,                           "c5b6d8" },
 { 15,     36,                               "c6b5c7f8e8f7h6d2g4c8" },
 { 14,     38,                             "c6f7e8h6d2c8c7b6" },
 { 16,     37,                                 "f8h6" },
 { 12,     82,                         "f7c5c6" },
 { 12,     44,                         "d8f7" },
 { 13,     40,                           "c5c6c7c8f7g8b5b6b4a3a4e3" },
 { 19,     36,                                       "b3" },
 { 17,     34,                                   "b6a5" },
 { 18,     37,                                     "b5e3" },
 { 12,     52,                         "f8f7g5h6h4g4" },
 { 11,     34,                       "g5" },
 { 11,     35,                       "c5b6d8" },
 { 13,     40,                           "b5e3" },
 { 12,     33,                         "c6g6g5f7" },
 { 10,     44,                     "f7c5e3g6" },
 { 13,     52,                           "b4" },
 { 13,     80,                           "e2g3f2g4d2d8g5" },
 { 14,     38,                             "g4g3f2" },
 { 15,     38,                               "d2f2g6c7g5g3" },
 { 12,     33,                         "b6g6e3e2f1d2e1" },
 { 17,     64,                                   "d1" },
 { 16,     33,                                 "g4g5c6h5f8d8" },
 { 16,     36,                                 "g5c6d8" },
 { 17,     41,                                   "g4" },
 { 14,     35,                             "g5c6e8b5e3d2b3" },
 { 14,     44,                             "f8" },
 { 13,     48,                           "g5e3" },
 { 13,     42,                           "b5e3g6g5" },
 { 13,     72,                           "b4" },
 {  9,     42,                   "c6c5" },
 {  5,     41,           "f3f4b5" },
 {  5,     55,           "b3d2" },
 {  6,     42,             "c5c6" },
 {  7,     39,               "b4b6c6b5e6" },
 {  6,     44,             "c6b6d7e8c2" },
 {  7,     36,               "f4e6c5" },
 {  4,     44,         "c5f4f3" },
 {  4,     66,         "c6f4" },
 {  2,     39,     "c4g5c6b6f6" },
 {  5,     39,           "c5b6b5a6" },
 {  7,     41,               "c3e3b5f6" },
 {  6,     50,             "e6" },
 {  6,     39,             "f6f4e6f7g4e7c7" },
 { 11,     42,                       "f3h5h6h7" },
 { 13,     34,                           "e3g6d7g3c7" },
 {  9,     40,                   "d7e7" },
 {  6,     35,             "d7c7" },
 {  7,     45,               "d3b4c3e3b5a4f2c2a6f6" },
 { 11,     44,                       "f3e2" },
 {  5,     37,           "d3e6c5b4" },
 {  4,     46,         "f6f4f3d3c3g6e3e6c5e2" },
 {  6,     41,             "e6" },
 {  6,     72,             "g6" },
 {  4,     35,         "g6d3" },
 {  3,     67,       "f4c5f6g5" },
 {  5,     39,           "d3e6" },
 {  4,     49,         "e6" },
 {  4,     51,         "f6g5" },
 {  5,     45,           "f3" },
 {  3,     44,       "f3f4" },
 {  3,     54,       "d3c3f4e3f3g4" },
 {  6,     48,             "c5b4b3" },
 {  7,     33,               "b3c2f6a3b5b6e3" },
 {  9,     33,                   "e6b4f3" },
 { 10,     37,                     "c6b4b5d2e3a6c1b6f3f6f7g5d7" },
 { 21,     40,                                           "e1e2f1" },
 {  9,     34,                   "b4e3e6b6c6b5a4f3a6" },
 { 12,     36,                         "c6f6a5a4b5a6d7c7e7e8b6f8" },
 { 23,     64,                                               "d8g3f7g5" },
 { 14,     36,                             "d7b5e7c7" },
 { 13,     48,                           "g4f6b6" },
 { 10,     39,                     "c6d2e6b5e3f3a5" },
 { 14,     41,                             "a5a6a3b6a4a2" },
 { 16,     34,                                 "a7b6" },
 {  9,     47,                   "e3d2c6b4b5" },
 { 13,     38,                           "a4b5" },
 { 13,     34,                           "a3g3g4" },
 { 14,     44,                             "g4f3e6f7b5" },
 {  8,     35,                 "d2" },
 {  6,     38,             "e6f6e3c5" },
 {  7,     34,               "b3e2e3" },
 {  6,     33,             "f6g5e6f7d7c5" },
 {  9,     38,                   "d7e3c5f3e7" },
 {  9,     42,                   "c5" },
 {  7,     50,               "f3e3b4" },
 {  8,     68,                 "g4" },
 {  8,     37,                 "e6e7c6g6g5f7" },
 { 12,     40,                         "f8f7d2" },
 { 10,     34,                     "d7g6g5f7e2c5e3g3" },
 { 14,     34,                             "e8c5" },
 { 14,     47,                             "f8h6" },
 { 13,     39,                           "c5b6c6b5c7f8e8f7h6d2" },
 { 14,     49,                             "c6f7" },
 { 12,     47,                         "f7c5c6" },
 { 12,     49,                         "d8c5c6c7c8f7g8" },
 { 12,     43,                         "f8f7" },
 { 11,     40,                       "c5c6" },
 { 10,     45,                     "f7c5e3e2g3" },
 { 14,     36,                             "g4d2f2g6c7" },
 { 12,     44,                         "b6g6e3e2f1" },
 { 16,     46,                                 "g5" },
 {  5,     40,           "b3" },
 {  4,     34,         "c5b5" },
 {  5,     42,           "f4d2f6d7" },
 {  6,     33,             "e2" },
 {  6,     34,             "e3c6e6f3" },
 {  7,     37,               "f3c2f6e2" },
 { 10,     37,                     "e6" },
 { 10,     45,                     "d7" },
 {  9,     40,                   "c6g4d2e6" },
 { 10,     37,                     "e6d2g4b6b5e7" },
 { 15,     37,                               "g3d1c3" },
 { 16,     37,                                 "c7a5f2d7" },
 { 15,     39,                               "c3b4c1f2" },
 { 12,     49,                         "c7" },
 { 10,     73,                     "d7" },
 {  9,     46,                   "b4b3" },
 { 10,     39,                     "b5d2d7" },
 {  8,     33,                 "d2" },
 {  8,     47,                 "e2" },
 {  8,     45,                 "g4g6g5" },
 { 10,     42,                     "e6c3d2" },
 {  8,     44,                 "f6e6" },
 {  7,     47,               "c3d2" },
 {  8,     79,                 "e6" },
 {  6,     41,             "d7f6d2" },
 {  5,     38,           "b4c3" },
 {  6,     47,             "d7f4e3f3" },
 {  4,     49,         "e6f6e7" },
 {  5,     34,           "f4e3f6" },
 {  7,     34,               "f3c3c5d2c6g4f7e7" },
 { 12,     33,                         "d7g6" },
 { 13,     35,                           "b4" },
 { 11,     47,                       "b4b3" },
 {  9,     41,                   "b4" },
 {  8,     37,                 "g4e7c7" },
 {  9,     35,                   "g3d2" },
 {  8,     57,                 "c6f6g5g6e7" },
 {  6,     33,             "c6" },
 {  3,     36,       "b3b4f4f6g5" },
 {  2,     41,     "c5f6e6f4c6e7" },
 {  3,     35,       "f4d3f6e6d7f7" },
 {  5,     67,           "c4c3c6" },
 {  6,     45,             "e3e6f6g5" },
 {  7,     53,               "c3e6" },
 {  5,     44,           "e3g4g5e2c4f3e6" },
 { 10,     34,                     "e6" },
 {  8,     41,                 "f3" },
 {  8,     40,                 "e6f6e2" },
 {  9,     58,                   "c4e2" },
 { 10,     76,                     "g3" },
 {  7,     46,               "g3e2" },
 {  8,     62,                 "e6c4e2" },
 {  6,     33,             "f6e6g4" },
 {  7,     46,               "c6" },
 {  4,     35,         "e3f6f3c4d3e6c3" },
 {  9,     61,                   "e2" },
 {  8,     37,                 "e6d3" },
 {  7,     43,               "e2" },
 {  6,     54,             "e6" },
 {  5,     74,           "c6d3f6g4c4" },
 {  8,     66,                 "e6f7" },
 {  9,     35,                   "d7g3b5" },
 { 11,     37,                       "c4b4c3d2" },
 { 14,     43,                             "b5b3b6" },
 { 13,     33,                           "b3b5a4a2a3a5" },
 { 14,     38,                             "g5c3b5a5a4a3b6c7" },
 { 21,     36,                                           "a6f7f2f3e2" },
 { 23,     37,                                               "e2d2" },
 { 23,     55,                                               "d2e2f1" },
 { 17,     38,                                   "e2f2d2c7" },
 { 18,     44,                                     "f3d2" },
 { 18,     65,                                     "e7c7b6" },
 { 20,     72,                                         "f7g6f3" },
 { 14,     57,                             "b6b5" },
 { 15,     56,                               "c3b5a6g5a5a4a3" },
 { 18,     42,                                     "g6" },
 { 17,     91,                                   "g4" },
 { 15,     45,                               "a3g5c3" },
 { 13,     33,                           "e2" },
 { 12,     77,                         "g5c3b4b3b5a5a4a3b6a6f7" },
 { 17,     43,                                   "a4" },
 { 17,     33,                                   "e2" },
 { 15,     45,                               "a3" },
 { 15,     43,                               "e2b3" },
 { 16,     36,                                 "b5g6" },
 { 17,     41,                                   "d2c7b6" },
 { 15,     40,                               "d2" },
 { 14,     33,                             "f7g6e7f8" },
 { 17,     33,                                   "e2c8f2c7" },
 { 15,     36,                               "d2e7f2e1f3c8h3" },
 { 18,     35,                                     "e2f1c8f3c7h3b6g4c1" },
 { 18,     38,                                     "c8f3c7h3" },
 { 12,     40,                         "g6g5h6" },
 { 14,     43,                             "e7" },
 { 13,     42,                           "c3f7d2e7f2e2" },
 { 12,     36,                         "e7c3g4f8f7g6c8" },
 { 15,     50,                               "g5f7" },
 { 14,     46,                             "g5f8" },
 { 10,     40,                     "g4c4b4g3g5" },
 { 13,     41,                           "b3" },
 { 12,     39,                         "g5c3b3" },
 { 14,     58,                             "b4b3b5a5a4a3b6" },
 { 15,     41,                               "e2f3d2" },
 { 14,     40,                             "f7g6e7f8h6" },
 { 15,     44,                               "d2c1f2e2" },
 { 17,     38,                                   "e2f2" },
 { 18,     39,                                     "b5g3f3h4" },
 { 16,     43,                                 "e7f2e2f3c1g3" },
 { 19,     47,                                       "f1c8f3" },
 { 18,     35,                                     "c8f3c7d8e2b8f1" },
 { 23,     37,                                               "g3e8f1h2" },
 { 23,     34,                                               "f1e8g3" },
 { 22,     35,                                             "e8g3e2h4f1e1" },
 { 26,     35,                                                     "h5" },
 { 25,     40,                                                   "f1" },
 { 21,     70,                                           "g6" },
 { 12,     33,                         "g6g5e7f8f7h6h5c3h7g3" },
 { 13,     35,                           "c3f7d2e7" },
 { 11,     73,                       "g3g5h4" },
 { 12,     43,                         "g6g5h5" },
 { 14,     37,                             "e7c7" },
 { 13,     33,                           "h3g5h4e7f7" },
 { 14,     44,                             "e7c7c4" },
 { 13,     60,                           "f3g5h6f7f8" },
 { 10,     38,                     "e7d8c4" },
 { 11,     38,                       "c7c4f8b6b5a6a4g3" },
 { 14,     34,                             "d8e8g8" },
 { 13,     41,                           "d8" },
 { 13,     37,                           "f3b6b5" },
 { 14,     34,                             "d8c8f7f8b8e2" },
 { 16,     35,                                 "b8e2b6e8f8f7" },
 { 12,     40,                         "b6" },
 { 11,     33,                       "f3c4c7d8c8f7" },
 { 16,     42,                                 "b8" },
 { 11,     35,                       "c3c4c7d8c8" },
 {  9,     51,                   "f3c4" },
 {  7,     37,               "g5e6f6g3c4b4b3" },
 { 10,     42,                     "d7f3e7" },
 {  8,     61,                 "f6f3g6" },
 {  7,     60,               "f3g4g5" },
 {  9,     37,                   "c4" },
 {  9,     65,                   "e2d2" },
 {  8,     62,                 "e6f7g4g5" },
 { 11,     53,                       "c4" },
 { 10,     45,                     "g5" },
 { 10,     42,                     "e7f6d7" },
 {  9,     38,                   "f6g4g3" },
 {  9,     38,                   "b5c4" },
 {  9,     43,                   "c4c3" },
 {  7,     45,               "e2" },
 {  6,     46,             "f3g6e6f6d7" },
 {  8,     36,                 "f6" },
 {  7,     39,               "g5e6f6d7" },
 {  7,     58,               "d3c4" },
 {  7,     39,               "c3d3c4b3c2b4" },
 {  6,     39,             "e6f7f3b5" },
 {  9,     52,                   "c4" },
 {  8,     42,                 "d7e8c8c7" },
 {  9,     34,                   "c7f6e7e8" },
 {  9,     61,                   "f6b5" },
 { 10,     38,                     "e7d8" },
 {  8,     33,                 "e7f6g4" },
 { 10,     51,                     "d7d8c7c8f8b8" },
 { 12,     43,                         "f8c8c7b8g8" },
 {  9,     36,                   "d3" },
 {  7,     38,               "f6g3" },
 {  8,     58,                 "g4" },
 {  8,     33,                 "d7c7" },
 {  7,     34,               "g5f6" },
 {  7,     47,               "f3d3f7" },
 {  7,     52,               "d3c4f3" },
 {  6,     36,             "f6e6d3f3" },
 {  6,     44,             "d7e6f6d3" },
 {  5,     33,           "g5f3" },
 {  5,     68,           "c4d3" },
 {  6,     45,             "e6c6d3f3g4" },
 {  5,     34,           "d3f3e2" },
 {  6,     37,             "e6g5c4c3" },
 {  5,     41,           "c3" },
 {  4,     33,         "f3g4" },
 {  5,     58,           "e3c4d3c6g4" },
 {  4,     47,         "d7f6" },
 {  5,     73,           "c6" },
 {  5,     40,           "g5" },
 {  4,     33,         "e7c6" },
 {  3,     33,       "b4" },
 {  2,     49,     "c6f6" },
 {  3,     39,       "f4d3" },
 {  4,     42,         "f3c5" },
 {  4,     51,         "e6f6" },
 {  5,     34,           "g5d3c4e3" },
 {  6,     37,             "e3f6" },
 {  5,     36,           "c5e3f3" },
 {  6,     47,             "b4" },
 {  2,     56,     "c7f4" },
 {  3,     37,       "f3" },
 {  1,     46,   "f4e3f6d3c5d6" },
 {  5,     39,           "c4f3" },
 {  5,     34,           "e2f2" },
 {  6,     38,             "f3g4" },
 {  7,     43,               "f2" },
 {  4,     68,         "e6" },
 {  3,     33,       "d6f3g5f6" },
 {  5,     48,           "g4" },
 {  5,     36,           "e2" },
 {  3,     34,       "f2e2f6d3" },
 {  3,     39,       "d2e2f6d3" }
};
